1. Advanced topics in artificial intelligence :
پدیدآورنده: Norman Foo, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
2. An introduction to agent-based modeling :
پدیدآورنده: Uri Wilensky and William Rand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation,Multiagent systems,NetLogo (Computer program language),System analysis-- Data processing
رده :
T57
.
62
.
W54
2015eb
3. Model checking and artificial intelligence :
پدیدآورنده: Ron van der Meyden, Jan-Georg Smaus (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Computer software-- Verification, Congresses,Computer systems-- Verification, Congresses
رده :
QA76
.
76
.
V47
M63
2011
4. Multi-agent systems :
پدیدآورنده: Marija Slavkovik (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Multiagent systems, Congresses.,Multiagent systems.
رده :
QA76
.
76
.
I58
5. PRICAI 2000 :
پدیدآورنده: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
6. Specification and verification of multi-agent systems /
پدیدآورنده: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification.,Multiagent systems.
رده :
QA76
.
76
.
I58
S64
2010
